As it says on the in, the problem for a standard of objectual (referential) quantification is presented, and a solution offered.

I think the basic intuition behind textualism correct – that the meaning of a law is fixed by referencing the meaning of its words according to the meaning common to the law’s ratifiers. However, even if true, it does not follow that interpretation of a law goes through the original ratifiers. Rather, a citizenry continually ratifies the laws to which it subjects itself, and as the meanings of those words change over time, so will those laws. Concerning, say, the U.S. (...) Constitution, though the text may be very nearly the same now as in the 18th century, a different constitution is in effect. (shrink)

We approach the notion of general (global) human intelligence as a prominently multifaceted concept which can be tested in at least seventy specific scenarios. We say that an agent has Artificial Global Intelligence (AGLI), if it is able to perform in an intelligent manner for at least the collection of tasks defining the former scenarios. In particular, based on Gartner's multiple intelligences theory, we describe the design of a concrete test for AGLI made in such a way that an ‘average’ (...) young human being should, per diffinitionem, pass it. We compare our holistic test with several highly representative human and artificial intelligence tests for deducing that our AGLI test is the one with the broader scope of the whole range of intelligence. However, we claim as a plausible hypothesis and based on the wide thematic spectrum of the test that the most outstanding inventions of AI currently available are far from getting a high score on it. Finally, we open a discussion about the fact that, although there are artificial agents being able to simulate intelligent behaviour at a perfect level for several local tasks, this seems not to be the case for AGLI. This would imply, in particular, a kind of practical implausibility of the notion of intelligence explosion coming from philosophy of AI. (shrink)

We present a multidisciplinary, universal a pragmatic theory of causation based explicitly on five methodological causal seminal dimensions. The first one is called formal-mathematical-idealist theory and emerges as a meta-conceptual fusion of several existing causal theories. The second one is essentially based on a global, scientific and technical perspective. In fact, this can be considered as a meta-dimension encompassing a huge number of academic disciplines. The third dimension arises once more as combination of former approaches having the mind and its (...) laws as the central paradigm. The fourth one is structurally related with our subjective phenomenological world and its objective impact on the external universe. And, finally, the fifth dimension is closely related with the first one, but more oriented toward the global implicit purpose of the universe and what this implies causally on the events in nature. We give several concrete examples elucidating the explanatory range of our theory. (shrink)

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property of (...) being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

We describe (essential features and an axiomatization of) a new metamathematical (cognitive) ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions, and playing a fundamental role in Artificial Mathematical Intelligence (or Cognitive-computational metamathematics). Furthermore, we present an initial (first-order) formalization of this mechanism together with its characterizing relation with classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. Finally, (...) we describe cognitively natural inference rules for (mathematical) definitions inspired by functional conceptual substratum and we show that they are sound and complete w.r.t.\ standard calculi. (shrink)

In this short paper I will introduce an idea which, I will argue, presents a fundamental additional challenge to the machine consciousness community. The idea takes the questions surrounding phenomenology, qualia and phenomenality one step further into the realm of intersubjectivity but with a twist, and the twist is this: that an agent’s intersubjective experience is deeply felt and necessarily co-affective; it is enkinaesthetic, and only through enkinaesthetic awareness can we establish the affective enfolding which enables first the perturbation, and (...) then the balance and counter-balance, the attunement and co-ordination of whole-body interaction through reciprocal adaptation. (shrink)

We argue for the possibility of validating the presence of consciousness in another person from a perspective that blends both, a third-person approach of coming close to, observing, and understanding the other; and a first-person assessment of how the experience of the other feels like. For this, we will need to explain how the line between the third-person and first-person approaches is blurred in some methodological approaches. We rest our position largely on the back of some seminal conclusions of the (...) meditations of Ren\'e Descartes and other theories concerning consciousness like Chalmers' naturalistic dualism and, to some secondary extent on Integrated Information Theory (IIT). Additionally, we describe fundamental contextual principles already developed in the literature and the arts (like Stanivlaski's Acting System), and then we use them for setting a suitable methodology that we feel can be used to validate the presence of others' conscious experiences in one's consciousness (at suitable periods of spacetime). Finally, we give general methodological guidelines for the construction of the concrete experiment and we explore very briefly the potential implications of this kind of research in other academic and non-academic settings. (shrink)

This article introduces a new formulation of the interest theory of rights. The focus is on ‘Bentham’s test’, which was devised by Matthew Kramer to limit the expansiveness of the interest theory. According to the test, a party holds a right correlative to a duty only if that party stands to undergo a development that is typically detrimental if the duty is breached. The article shows how the entire interest theory can be reformulated in terms of the test. The article (...) then focuses on a further strength of the interest theory, brought to the fore by the new formulation. In any Western legal system, the tortious maltreatment of a child or a mentally disabled individual results in a compensatory duty. The interest theory can account for such duties in a simple and elegant way. The will theory, on the other hand, struggles to explain such compensatory duties unless it abandons some of its main tenets. (shrink)

Alain Badiou is one of the world's most influential living philosophers. Few contemporary thinkers display his breadth of argument and reference, or his ability to intervene in debates critical to both analytic and continental philosophy. Alain Badiou: Key Concepts presents an overview of and introduction to the full range of Badiou's thinking. Essays focus on the foundations of Badiou's thought, his "key concepts" - truth, being, ontology, the subject, and conditions - and on his engagement with a range of thinkers (...) central to his philosophy, including Plato, Descartes, Spinoza, Heidegger and Deleuze. (shrink)

In the topic-sensitive theory of the logic of imagination due to Berto (2018a), the topic of the imaginative output must be contained within the imaginative input. That is, imaginative episodes can never expand what they are about. We argue, with Badura (2021), that this constraint is implausible from a psychological point of view, and it wrongly predicts the falsehood of true reports of imagination. Thus the constraint should be relaxed; but how? A number of direct approaches to relaxing the controversial (...) content-inclusion constraint are explored in this paper. The core idea is to consider adding an expansion operator to the mereology of topics. The logic that results depends on the formal constraints placed on topic expansion, the choice of which are subject to philosophical dispute. The rst semantics we explore is a topological approach using a closure operator, and we show that the resulting logic is the same as Berto's own system. The second approach uses an inclusive and monotone increasing operator, and we give a sound and complete axiomatisation for its logic. The third approach uses an inclusive and additive operator, and we show that the associated logic is strictly weaker than the previous two systems, and additivity is not de nable in the language. The latter result suggests that involved techniques or a more expressive language is required for a complete axiomatization of the system, which is left as an open question. All three systems are simple tweaks on Berto's system in that the language remains propositional, and the underlying theory of topics is unchanged. (shrink)

Linda Zagzebski’s book on epistemic authority is an impressive and stimulating treatment of an important topic. 1 I admire the way she manages to combine imagination, originality and argumentative control. Her work has the further considerable merit of bringing analytic thinking and abstract theory to bear upon areas of concrete human concern, such as the attitudes one should have towards moral and religious authority. The book is stimulating in a way good philosophy should be -- provoking both disagreement and emulation. (...) I agree with much of what she says, and have been instructed by it, but it will be of more interest and relevance here if I concentrate upon areas of disagreement. Perhaps they are better seen as areas, at least some of them, where her emphases suggest a position that seems to me untenable, but that she may not really intend. In that event, I will be happy to have provoked a clarification or the dispelling of my misunderstanding. My focus will be upon problems in her account of communal authority and autonomy, especially with respect to religious and political authority. Here my worry is that she places too much trust in trust and not enough in what I call selective mistrust. (shrink)

As a national ideology, Pancasila has formal quality, but it is also part of the material aspects that shapes perspectives that drives national policies through the process of consensus. The open and ambiguous character of Pancasila allows a wide space for social and political interpretation, and therefore is open to critique and reformation through reinterpretations of its meaning. An examination of the ethics of the socio-political application of Pancasila is crucial in the current national climate, and these ethical valuations are (...) formed through public discussions and debates on the meaning of Pancasila. Using data drawn from mass media. In this paper, I will examine the Government Regulation on Law (Perppu No. 2/2017) as an example of how these political ethics develop through the discussion of the meaning of Pancasila. Second, I'll highlight how the space for interpretation of the meaning of Pancasila determines how the public, government and oppositional coalitions evaluate the pro and contra approaches to translating the ideology into practice. Third, in examining the process of socio-political consensus as a necessity in the democratic life of Indonesia, this paper will position the discursive deployments of Pancasila in the ethical and political considerations that stem from the practical application of these discourses of Pancasila. (shrink)

The Article analyzes the notion of legal “thinghood” in the context of the person–thing bifurcation. In legal scholarship, there are numerous assumptions pertaining to this definition that are often not spelled out. In addition, one’s chosen definition of “thing” is often simply taken to be the correct one. The Article scrutinizes these assumptions and definitions. First, a brief history of the bifurcation is offered. Second, three possible definitions of “legal thing” are examined: Things as nonpersons, things as rights and duties, (...) and things as property. The first two definitions are rejected as not being very interesting or serving any heuristic function. Conversely, understanding legal things as property is meaningful, useful, and helps to understand what it means to say that animals are legally things. Defining things as property has certain rather important implications, which are analyzed at the end of the Article. For instance, not everything needs to be either a person or a thing: The historical institution of outlawry involved treating individuals neither as legal persons nor as legal things. One must conclude that the person–thing bifurcation is less fundamental than is often assumed. (shrink)

This article addresses the sensitive topic of human rights issues in Indonesia through a Kantian analysis. Cases of human rights violations are a common occurrence in Indonesia. Presently, human rights violations in the country are assessed from historical and legal perspectives. However, there is little commitment or willingness on the part of the Indonesian government to protect and defend the principles of human rights. This article is attempts to utilize arguments from political philosophy that can contextualize the protection and implementation (...) of human rights in Indonesia, through an analysis of the concept of social contract in Immanuel Kant’s political philosophy. According to Kant, freedom and equality are natural rights. This article demonstrates that Kant's social contract theory is linear with his formal moral philosophy. In his explanation, ‘contract’ is unified will. Therefore, the Indonesian state with its power is responsible to implement the will of the public to ensure order and rule of law and to protect the rights and freedom of each individual. (shrink)

My aim in this paper is to go some way towards showing that the maintenance of hard and fast dichotomies, like those between mind and body, and the real and the virtual, is untenable, and that technological advance cannot occur with being cognisant of its reciprocal ethical implications. In their place I will present a softer enactivist ontology through which I examine the nature of our engagement with technology in general and with virtual realities in particular. This softer ontology is (...) one to which I will commit Kant, and from which, I will show, certain critical moral and emotional consequences arise. It is my contention that Kant’s logical subject is necessarily embedded in the world and that Kant, himself, would be content with this view as an expression of his inspired response to the ‘‘scandal to philosophy... that the existence of things outside us... must be accepted merely on faith’’ [Bxl]. In keeping with his arguments for the a priori framing of intuition, the a priori structuring of experience through the spontaneous application of the categories, the synthesis of the experiential manifold, and the necessity of a unity of apperception, I will present an enactivist account of agency in the world, and argue that it is our embodied and embedded kinaesthetic engagement in our world which makes possible the syntheses of apprehension, reproduction and recognition, and which, in turn, make possible the activity of the reproductive or creative imagination. (shrink)

Social participation requires certain abilities: communication with other members of society; social understanding which enables planning ahead and dealing with novel circumstances; and a theory of mind which makes it possible to anticipate the mental state of another. In childhood play we learn how to pretend, how to put ourselves in the minds of others, how to imagine what others are thinking and how to attribute false beliefs to them. Without this ability we would be unable to deceive and detect (...) deception in the actions of others, and our ability to interact within our social group would be greatly impaired. In this paper I claim that the capacity for deception is necessary for a theory of mind, and a theory of mind is necessary for complex social interaction. (shrink)

Hillel Steiner has recently attacked the notion of inalienable rights, basing some of his arguments on the Hohfeldian analysis to show that infinite arrays of legal positions would not be associated with any inalienable rights. This essay addresses the nature of the Hohfeldian infinity: the main argument is that what Steiner claims to be an infinite regress is actually a wholly unproblematic form of infinite recursion. First, the nature of the Hohfeldian recursion is demonstrated. It is shown that infinite recursions (...) of legal positions ensue regardless of whether inalienable rights exist or not. Second, the alleged problems that this might pose for the analysis are discussed. The conclusion is that one should not worry about the recursion as long as one understands correctly the role of the Hohfeldian analysis in normative reasoning. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

This paper aims at helping trainees to overcome the difficulties they face when dealing with Arduino platform by describing the design of a desktop based intelligent tutoring system. The main idea of this system is a systematic introduction into the concept of Arduino platform. The system shows the circuit boards of Arduino that can be purchased at low cost or assembled from freely-available plans; and an open-source development environment and library for writing code to control the board topic of Arduino (...) platform. The system is adaptive with the trainee’s individual progress. The system functions as a special tutor who deals with trainees according to their levels and skills. Evaluation of the system has been applied on professional and unprofessional trainees in this field and the results were good. (shrink)

This paper argues for the reasonableness of an inclusive conception of default reasoning. The inclusive conception allows untriggered default rules to influence beliefs: Since a default “from φ, infer ψ” is a defeasible inference rule, it by default warrants a belief in the material implication φ → ψ, even if φ is not believed. Such inferences are not allowed in standard default logic of the Reiter tradition, but are reasonable by analogy to the Deduction Theorem for classical logic. Our main (...) contribution is a formal framework for inclusive default reasoning. The framework has a solid philosophical foundation, it draws conclusions non-trivially different from non-inclusive frameworks, and it exhibits a host of benchmark properties deemed desirable in the literature—e.g., that extensions always exist and are consistent. (shrink)

Abstract— This study aimed to identify the degree of use of the capabilities of decision-support systems in Palestinian institutions higher education, Aqsa University in Gaza - a case study. The study used a analytical descriptive approach, and the researchers used the of questionnaire tool to collect the data, the researchers using stratified random sample distributed (150) questioners to the study population and (126) was obtained back with rate of 84%. The study showed that the most important results are: that senior (...) management supports the existence of decision support systems and that there is approval by the respondents on the paragraphs of the use of the capabilities of decision support systems in general. And that there are no significant differences between the averages of the answers of respondents differences about the degree of use of decision support systems capabilities attributed to personal data. The study also concluded a series of recommendations including: increasing the adoption of the senior management decision support in their decision-making systems. And increased regulatory attention to the potential available to decision support systems directly to the senior management in the Palestinian universities in the Gaza Strip. There is an increased interest in the physical and technical possibilities available for the use of decision support systems. There is an increased interest in human potential available for the use of decision support systems. Investment of information available to universities in building the capacities of integration techniques and other information technology capabilities. The empowerment of human resources in universities and participating in making decisions concerning the construction of the capabilities of information technology. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

This paper contains a critical examination of the prospects for analyses of knowledge that weaken the factivity condition such that knowledge implies approximate truth.

In the debate on how we ought to define political freedom, some definitions are criticized for implying that no one can ever be free to perform any action. In this paper, I show how the possibility of freedom depends on a definition that finds an appropriate balance between absence of interference and protection against interference. To assess the possibility of different conceptions of freedom, I consider the trade-offs they make between these two dimensions. I find that pure negative freedom is (...) clearly possible. Republican freedom might also be possible, though its protection requirement is too vague for a definitive verdict. Finally, the recently proposed ‘freedom as independence’ is impossible since it is an attempt to avoid the unavoidable trade-off. (shrink)

Samuel Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of categories has some advantages over competing (...) theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

This paper concerns a distinction between circumstantial truths that hold because of the circumstances and acircumstantial truths that hold regardless of, or transcend, the circumstances. Previous discussions of the distinction tended to focus on its applications, such as to modality, logical truth, and essence. This paper focuses on developing the distinction largely, but not entirely, in abstraction from its potential applications. As such, the paper’s main contribution is to further clarify the distinction itself. An indirect contribution is to help guide (...) its future applications. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

There has recently been a revived interest in temporal justice among political philosophers. For example, lone mothers have, on average, 30 h less free time per week than people in couples without children. Recent work has focussed on free time as a distinct distributive good, but this paper argues that it would be a mistake for a theory of temporal justice to focus only on shares of free time. First, I argue that the concept of free time does not succeed (...) in tracking discretionary control over time. All of time is a resource, and the particular moral relevance of free time must be established otherwise. Second, hours of time differ in use value, and we cannot fully track our concerns about the allocation of time, whether free or necessary, without taking this into account. We care about free time but also about ‘quality time’. To explain this observation, I develop an account of the value of time as a resource. The value of time periods differs with the prospects for which a time period can be used, that is, what we can do and be with it. What we are allocating when we are allocating time is not just hours; it is hours of time with a certain value. Finally, I argue that a concern for the value of time is compatible with a resourcist theory of temporal justice. (shrink)

Silence sometimes constitutes moral complicity. We see this when protestors take to the streets against racial injustice. Think of signs with the words: “Silence is complicity.” We see this in instances of sexual harassment, when we learn that many knew and said nothing. We see this in cases of wrongdoing within a company or organization, when it becomes clear that many were aware of the negligent or criminal activity and stayed silent. In cases like this we consider agents morally complicit (...) in virtue of their silence. Flagrant injustices cry out for action, and sometimes remaining silent amounts to complicity in those injustices. What philosophy owes us is an account of how it could be that silence constitutes complicity. In this paper I argue that one possibility is an account grounded in problematic deliberative contribution. The core idea of “deliberative complicity,” as I call it, is that agents have moral duties concerning the moral deliberation of other agents, and failures in these duties can amount to moral complicity. For example, an agent aware that a colleague is sexually harassing his students has a deliberative obligation to report the misconduct, and their silence in failing to report constitutes a failure to fulfill their deliberative obligation, a failure that grounds their moral complicity in the harassment. If my argument is successful, it provides a distinctive reason to prefer a deliberative account of moral complicity: it can capture cases of silent complicity that other views of moral complicity cannot. And further, by turning our attention toward our interpersonal deliberative obligations, a deliberative account of complicity can incorporate helpful resources from recent work in social epistemology and speech act theory as we set out to determine when and why silence amounts to complicity. And when it does, we cannot stay silent. We must speak. (shrink)

Perception is a central means by which we come to represent and be aware of particulars in the world. I argue that an adequate account of perception must distinguish between what one perceives and what one's perceptual experience is of or about. Through capacities for visual completion, one can be visually aware of particular parts of a scene that one nevertheless does not see. Seeing corresponds to a basic, but not exhaustive, way in which one can be visually aware of (...) an item. I discuss how the relation between seeing and visual awareness should be explicated within a representational account of the mind. Visual awareness of an item involves a primitive kind of reference: one is visually aware of an item when one's visual perceptual state succeeds in referring to that particular item and functions to represent it accurately. Seeing, by contrast, requires more than successful visual reference. Seeing depends additionally on meta-semantic facts about how visual reference happens to be fixed. The notions of seeing and of visual reference are both indispensable to an account of perception, but they are to be characterized at different levels of representational explanation. (shrink)

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

This research paper presents the development and evaluation of an expert system for diagnosing kidney diseases. The expert system utilizes a decision-making tree approach and is implemented using the CLIPS and Delphi frameworks. The system's accuracy in diagnosing kidney diseases and user satisfaction were evaluated. The results demonstrate the effectiveness of the expert system in providing accurate diagnoses and high user satisfaction.

The cucumber is a creeping vine that roots in the ground and grows up trellises or other supporting frames, wrapping around supports with thin, spiraling tendrils. The plant may also root in a soilless medium, whereby it will sprawl along the ground in lieu of a supporting structure. The vine has large leaves that form a canopy over the fruits. Among these common diseases, we single out the diseases that affect the cucumber, which is affected by about 22 diseases, with (...) different symptoms for each disease. Today, technology is facilitating human life in all areas of life, and among these facilities are expert systems that have become an integral part of human life as they contain several systems and areas, for example: Artificial Intelligence (AI), which refers to systems or devices that simulate Human intelligence to perform tasks that can improve itself based on some human information, and other areas, and with reference to expert systems and their importance to humans, an integrated expert system has been created in the agricultural field that diagnoses cucumber diseases using CLIPS Expert System language Delphi language. The system was used to design and implement the proposed expert system. The system facilitates the diagnosis of cucumber-related diseases. There is no doubt that this expert system will help farmers and those involved in the agricultural field to diagnose cucumber-related diseases. Objectives: is to help farmers diagnose pear diseases in the correct way and how to treat these diseases. Method: The system contains a program that diagnoses 22 diseases that affect cucumber. Results: The expert system was evaluated by farmers and praised for helping them with it. Conclusion: The expert system for diagnosing cucumber diseases is effective and usable. (shrink)

There is a close conceptual relation between the notions of religious disenchantment and scientific naturalism. One way of resisting philosophical and cultural implications of the scientific image and the subsequent process of disenchantment can be found in attempts at sketching a reenchanted worldview. The main issue of accounts of reenchantment can be a rejection of scientific results in a way that flies in the face of good reason. Opposed to such reenchantment is scientific naturalism which implies an entirely disenchanted worldview. (...) However, one of the main problems of scientific naturalism are placement problems. A reenchanted worldview does have the conceptual resources to avoid placement problems, yet seems to throw out the baby with the bathwater. A dilemma results: the Scylla of an undesirable scientific naturalism and the Charybdis of a rampant, seemingly prescientific reenchanted worldview. In this article I argue that there is a safe middle passage between these two options, i.e. the recently proposed liberal naturalism which allows for a moderate normative reenchantment. Liberal naturalism lets us have it both ways: avoiding the placement problems while retaining a necessary and reasonable adherence to science, thereby avoiding both an all-too restrictive scientific naturalism. (shrink)

Naive observers viewed a sequence of colored Mondrian patterns, simulated on a color monitor. Each pattern was presented twice in succession, first under one daylight illuminant with a correlated color temperature of either 16,000 or 4,000 K and then under the other, to test for color constancy. The observers compared the central square of the pattern across illuminants, either rating it for sameness of material appearance or sameness of hue and saturation or judging an objective property—that is, whether its change (...) of color originated from a change in material or only from a change in illumination. Average color constancy indices were high for material appearance ratings and binary judgments of origin and low for hue–saturation ratings. Individuals’ performance varied, but judgments of material and of hue and saturation remained demarcated. Observers seem able to separate phenomenal percepts from their ontological projections of mental appearance onto physical phenomena; thus, even when a chromatic change alters perceived hue and saturation, observers can reliably infer the cause, the constancy of the underlying surface spectral reflectance. (shrink)

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology and that truthmaker (...) monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

Background: Broccoli is an edible green plant in the cabbage family (family Brassicaceae, genus Brassica) whose large flowering head, stalk and small associated leaves are eaten as a vegetable. A leaf of Broccoli might be affected of Several Diseases descriped in this paper . When symptoms is encountered, it requires some kind of medical care. If appropriate Survival of Broccoli Diseases is not taken quickly, it can lead to Broccoli to die . Objectives: The main goal of this expert system (...) is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper the design of the proposed Expert System which was produced to help Farmers in diagnosing many of the broccoli diseases such as : Damping Off,Club root of crucifers or Finger and toe disease,Alternaria leaf spot,Black rot,Downy mildew, and White rust. (shrink)

ABSTRACT: Recent work in moral theory includes an intriguing new argument that the vagueness of moral properties, together with two well-known and well-received metaethical principles, entails the incredible conclusion that it is impossible to be moral. I show that the argument equivocates between “it is true that A and B are morally indistinguishable” and “it is not false that A and B are morally indistinguishable.” As expected the argument is interesting but unsound. It is therefore not impossible to be moral.RÉSUMÉ: (...) Les travaux récents en théorie morale comprennent un nouvel argument intrigant voulant que le caractère vague des propriétés morales, joint à deux principes métaéthiques bien connus et généralement admis, entraîne une conclusion incroyable, soit qu’il est impossible d’être moral. Je montre que cet argument entretient l’équivoque entre «il est vrai que A et B sont moralement impossibles à distinguer» et «il n’est pas faux que A et B soient moralement impossibles à distinguer». Comme on s’y attendait, l’argument est intéressant mais mal fondé. Il n’est donc pas impossible d’être moral. (shrink)

New theological understanding can emerge with the advancement of scientific knowledge and the use of new concepts, or older concepts in new ways. Here, the authors present a proposal to extend the concept of “rescue and recovery” found in the United Nations Law of the High Seas, off‐world and within a broader purview of other intelligent and self‐aware species that humans may someday encounter. The notion of a morality that extends to off‐world species is not new, but in this analysis, (...) rescue and recovery become an imperative when any intelligent and self‐aware species is in harm's way. Rescue and recovery encompass a necessary action component except perhaps in those cases where rescuers are in danger. The authors explore three biblical examples of rescue and recovery to derive a fundamental meaning of the concept. (shrink)

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory (hereafter Musical Aristotelianism) is an attractive and serviceable hypothesis. However, it is overlooked as a genuine competitor to the more well-known theories of Musical Platonism and nominalism. Worse still, there is no detailed account in the literature of the nature of the universals that the Aristotelian identifies musical works with. In this paper, I argue that the best (...) version of Musical Aristotelianism identifies musical works with structural universals. I first motivate the view by outlining its explanatory benefits. I then argue that Musical Aristotelianism is preferable to Musical Platonism and present a novel account of musical works as structural universals by developing D. M. Armstrong’s theory of structural universals. I discuss the consequences of Musical Aristotelianism with respect to on-going issues in debates about musical works and defend the view against an influential objection, concluding that Musical Aristotelianism is a genuine competitor in debates about the nature of musical works. (shrink)

Should a principle of charity be applied to the interpretation of the colour concepts exercised in visual experience? We think not. We shall argue, for one thing, that the grounds for applying a principle of charity are lacking in the case of colour concepts. More importantly, we shall argue that attempts at giving the experience of colour a charitable interpretation either fail to respect obvious features of that experience or fail to interpret it charitably, after all. Charity to visual experience (...) is therefore no motive for resisting the natural, Galilean response to a scientific understanding of light and vision. The best interpretation of colour experience ends up convicting it of widespread and systematic error. (shrink)

This paper investigates the connection between temporal attitudes (attitudes characterised by a concern (or lack thereof) about future and past events), beliefs about temporal ontology (beliefs about the existence of future and past events) and temporal preferences (preferences regarding where in time events are located). Our aim is to probe the connection between these preferences, attitudes, and beliefs, in order to better evaluate the normative status of these preferences. We investigate the hypothesis that there is a three-way association between (a) (...) being present-biased (that is, preferring that positive events are located in the present, and negative events are located in the non-present), (b) believing that past and future events do not exist and (c) tending to have present-focused rather than non-present-focused temporal attitudes. We find no such association. This suggests that insofar as temporal preferences and temporal attitudes are connected to the ways we represent time, they are not connected to the ways we represent temporal ontology; rather, they are more likely connected to the ways we represent relative movement in, or of, time. This has important consequences for, first, explaining why we exhibit these preferences and, second, for their normative evaluation. (shrink)

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper I explain (...) how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

Spinoza, le spinozisme et les fondements de la sécularisation est un ouvrage dédié à la mémoire d’Emmanuel Levinas, dont l’auteur a été l’élève durant plusieurs années. Il vise, à travers une analyse d’ordre philosophique, historique, épistémologique et théologique, à mettre au jour les conditions d’émergence interrelatées du spinozisme et de la sécularisation. Pour ce faire, il souligne, entre autres, l’importance des polémiques anti-maimonidiennes, des débats sur les attributs divins, la substance, l’infini, du marranisme et de la Kabbale sur la formation (...) du spinozisme, ainsi que son rapport à la pensée contemporaine. Il mène une recherche interdisciplinaire devant permettre d’éclairer l’origine des difficultés théoriques que ce système philosophique présente. (shrink)

In the early twentieth century, many philosophers in America thought that time should be taken seriously in one way or another. George P. Adams (1882-1961) argued that the past, present and future are all real but only the present is actual. I call this theory ‘actualist eternalism’. In this paper, I articulate his novel brand of eternalism as one piece of his metaphysical system and I explain how he argued for the view in light of the best explanations of temporal (...) experience and the present. I argue that his exploitation of analogies between time and modality offer some lessons for current debates about time such as the importance of providing a temporal epistemology. I also extract what I call the temporal boundary problem and argue that it gives rise to an unaddressed challenge for presentists and growing block theorists. (shrink)

In Examination of McTaggart's Philosophy, C.D. Broad advanced a distinctive ontology of things and processes. He argues that neither things nor processes are reduced to each other but instead are reduced to some further kind of entity: “absolute process.” This paper will present Broad's theory of absolute processes and argue that they are best understood as tropes by developing a version of Donald C. Williams's trope ontology. This process ontology of tropes is then defended against objections in the contemporary metaphysics (...) literature. (shrink)